A model for agent mobility and interaction
نویسندگان
چکیده
SOME AGENT PROPERTIES. vanishing agents or nodes in the agent system. Given these requirements, agents are constantly facing a problem of deciding where to go and with whom to work with. These two decisions, pertaining to mobility and interaction, have been singled out as fundamental of even aeent svstem. We B. Aaents I . " . " present an algorithm targeted at these two decisions while it fulfils the aforementioned requirements. In the model we present. agents are characterised by a set of conceots they can produce and another set of
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Fuzzy Realistic Mobility Model for Ad hoc Networks
Realistic mobility models can demonstrate more precise evaluation results because their parameters are closer to the reality. In this paper a realistic Fuzzy Mobility Model has been proposed. This model has rules which are changeable depending on nodes and environmental conditions. It seems that this model is more complete than other mobility models.After simulation, it was found out that not o...
متن کاملModeling and Analyzing a Mobile Agent - based Clinical Information System
This paper presents an approach for modeling and modelchecking a mobile agent system specified by LAM, which is a two-layer formal method for characterizing logical agent mobility using Predicate/Transition (PrT) nets. Based on the transformation of PrT nets into input programs of the model checker SPIN, we model check a variety of properties with respect to agents, logical agent mobility, agen...
متن کاملMathematical description and prognosis of synergistic interaction of radon and tobacco smoking
Background: Radon and its short-lived decay products are considered as the important sources of public exposure to natural radioactivity. The synergistic interaction between tobacco smoking and radon is known to be an actual problem. This study has provided a mathematical description and prognosis of the carcinogenic effects after combined action of radon with smoking. Materials and Me...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003